package cz.cuni.mff.d3s.alloy.test


import java.io.File
import java.util.ArrayList

import edu.mit.csail.sdg.alloy4.XMLNode
import edu.mit.csail.sdg.alloy4compiler.ast.Sig
import edu.mit.csail.sdg.alloy4compiler.translator.A4SolutionReader
import cz.cuni.mff.d3s.alloy.core._


/**
 * @author Jaroslav Keznikl
 */

object AlloySerializerTester {
	val filename = "core/component_sol.xml"

	def main(args: Array[String]) {
		val root = new XMLNode(new File(filename));
		val sol = A4SolutionReader.read(new ArrayList[Sig](), root)

		val result = new InstanceSerializerImpl(sol).serializeInstance()

		println(result)
	}
}